$\forall$$R$:Realizer, $z$, $i$:Id. R{-}occurs($R$;$i$;$z$) $\in$ $\mathbb{B}$